557 search results - page 79 / 112 » Device Modeling for a Flexible Embedded Systems Development ... |
RTCSA
1995
IEEE
13 years 11 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...
CASCON
2010
13 years 6 months ago
2010
Today, we are witnessing a new level of scale, complexity, and pervasiveness of software systems that are designed to support much more holistically complex processes. Much richer...
SASO
2009
IEEE
14 years 2 months ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...
FORTE
2004
13 years 9 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...