1501 search results - page 161 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
150
click to vote
ICALP
1992
Springer
15 years 8 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
139
click to vote
JCDL
2010
ACM
15 years 9 months ago
2010
ACM
Topic models could have a huge impact on improving the ways users find and discover content in digital libraries and search interfaces, through their ability to automatically lea...
168
click to vote
PDC
2004
ACM
15 years 10 months ago
2004
ACM
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...
166
click to vote
MAGS
2006
15 years 4 months ago
2006
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
139
click to vote
INFOCOM
1991
IEEE
15 years 8 months ago
1991
IEEE
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...