5838 search results - page 1057 / 1168 » A File System for System Programming in Ubiquitous Computing |
157
Voted
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
181
Voted
ICSE
2012
IEEE-ACM
13 years 5 months ago
2012
IEEE-ACM
—Integrated Development Environments (IDEs) have come to perform a wide variety of tasks on behalf of the programmer, refactoring being a classic example. These operations have u...
123
Voted
ASPLOS
2000
ACM
15 years 7 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
143
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
120
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
This paper is concerned with the optimal control of linear discrete-time systems, which are subject to unknown but bounded state disturbances and mixed constraints on the state an...