7209 search results - page 1291 / 1442 » Software Engineering for Multi-Agent Systems |
130
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
116
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
146
click to vote
HT
1997
ACM
15 years 7 months ago
1997
ACM
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...
161
click to vote
CAISE
1997
Springer
15 years 7 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
120
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...