6197 search results - page 1038 / 1240 » Sandbridge Software Tools |
205
click to vote
AOSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
176
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
156
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
248
click to vote
FAABS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
159
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...