3799 search results - page 356 / 760 » An Engineering Approach to Formal Methods |
191
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
178
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
280
click to vote
ICDE
1998
IEEE
16 years 8 months ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...
184
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
163
click to vote
CSEE
2009
Springer
16 years 1 months ago
2009
Springer
At University of Southern California (USC), CSCI577ab is a graduate software engineering course that teaches best software engineering practices and allows students to apply the l...