96 search results - page 17 / 20 » What Makes Industries Believe in Formal Methods |
SAS
2001
Springer
14 years 2 days ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Embedded Networked Sensing involves untethered, networked devices tightly coupled to the physical world, to monitor and interact with it. Raw sensor observation can be annotated w...
DASFAA
2007
IEEE
14 years 2 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
MABS
2005
Springer
14 years 1 months ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...