4498 search results - page 176 / 900 » How to Invent Functions |
124
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
145
click to vote
ICSOC
2005
Springer
15 years 9 months ago
2005
Springer
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
134
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
153
click to vote
AMFG
2003
IEEE
15 years 9 months ago
2003
IEEE
In recent years Sequential Monte Carlo (SMC) methods have been applied to handle some of the problems inherent to model-based tracking. In this paper two issues regarding SMC are ...
118
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...