1058 search results - page 132 / 212 » Using Different Representations of Synchronous Systems in SA... |
162
click to vote
CIIA
2009
15 years 7 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
160
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The development of complex systems invariably involves many stakeholders who have different perspectives on the problem they are addressing, the system being developed, and the pr...
171
click to vote
PATAT
2000
Springer
15 years 10 months ago
2000
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
204
click to vote
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Location-based services in general require information about the position of certain objects. For instance, for a navigation service the position of the user needs to be known. Th...
192
click to vote
PAAMS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...