4460 search results - page 210 / 892 » Formal methods for interactive systems |
173
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
143
click to vote
TSE
1998
15 years 4 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
125
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SO...
155
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
109
click to vote
IFM
2005
Springer
15 years 10 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...