8928 search results - page 110 / 1786 » Modeling Current Events |
115
Voted
TEI
2010
ACM
15 years 9 months ago
2010
ACM
Distributed physical user interfaces comprise networked sensors, actuators and other devices attached to a variety of computers in different locations. Developing such systems is ...
143
click to vote
DEXAW
1998
IEEE
15 years 6 months ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
125
Voted
WSC
2008
15 years 5 months ago
2008
This study observed the challenges of taking an existing facility's inpatient volumes and procedures and projecting them into a replacement facility with differently sized un...
103
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
115
Voted
RE
2001
Springer
15 years 7 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...