1492 search results - page 264 / 299 » Automatic Software Model Checking Using CLP |
PEPM
2007
ACM
15 years 3 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
SAC
2003
ACM
15 years 2 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
149
click to vote
Book
"Can computers meaningfully process human language? If this is difficult, why? If this is possible, how? This book introduces the reader to the fascinating science of computat...
TAICPART
2006
IEEE
15 years 3 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
DBA
2004
2004
A Tool for Transforming Conceptual Schemas of Spatio-Temporal Databases with Multiple Representation
14 years 11 months ago
Nowadays, classical conceptual models (such as ER or UML) are used for designing database applications. These classical conceptual models usually come with associated CASE tools a...