1676 search results - page 177 / 336 » Formal System Development with KIV |
182
click to vote
AICOM
2005
15 years 6 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
184
click to vote
ITNG
2008
IEEE
16 years 25 days ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
148
click to vote
ECOWS
2007
Springer
16 years 18 days ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
173
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
160
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...