575 search results - page 97 / 115 » Transition systems for designing and reasoning about norms |
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
A firm energy market for Colombia is presented. Firm energy—the ability to provide energy in a dry period—is the product needed for reliability in Colombia’s hydrodominated ...
SAINT
2005
IEEE
15 years 4 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
IPCCC
2006
IEEE
15 years 5 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
BMCBI
2007
14 years 11 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
173
click to vote
ASPLOS
2011
ACM
14 years 2 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...