164 search results - page 3 / 33 » Formal Device and Programming Model for a Serial Interface |
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
FAABS
2000
Springer
13 years 11 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
DSVIS
2003
Springer
14 years 18 days ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
EMSOFT
2004
Springer
14 years 23 days ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...