7209 search results - page 417 / 1442 » Software Engineering for Multi-Agent Systems |
181
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
159
click to vote
UIST
1998
ACM
15 years 11 months ago
1998
ACM
We present a system for entering common music notation based on 2D gestural input. The key feature of the system is the look-and-feel of the interface which approximates sketching...
167
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
136
Voted
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
136
click to vote
WOA
2001
15 years 8 months ago
2001
In this paper, we identify and analyze a set of issues that are more and more influencing the characteristics of today's complex software systems, and that distinguish them f...