10159 search results - page 225 / 2032 » System Design Validation Using Formal Models |
127
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
133
click to vote
FASE
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
122
click to vote
ATAL
2004
Springer
15 years 8 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...
122
click to vote
MOBISYS
2005
ACM
16 years 2 months ago
2005
ACM
In this paper, we describe the design and implementation of a distributed operating system for ad hoc networks. Our system simplifies the programming of ad hoc networks and extend...
117
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...