7430 search results - page 717 / 1486 » Programming Applications in CIFF |
217
click to vote
ASP
2005
Springer
16 years 1 months ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
220
click to vote
ESAS
2005
Springer
16 years 1 months ago
2005
Springer
Wireless sensor networks are envisioned to be deployed in mission-critical applications. Detecting a compromised sensor, whose memory contents have been tampered, is crucial in the...
234
click to vote
SSD
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Evacuation planning is critical for numerous important applications, e.g. disaster emergency management and homeland defense preparation. Efficient tools are needed to pr...
177
click to vote
ECOOP
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
221
click to vote
ECOOP
2004
Springer
16 years 26 days ago
2004
Springer
Software developers create a variety of artifacts that model viour of applications at different levels of abstraction; e.g. use cases, sequence diagrams, and source code. Aspect-o...