171 search results - page 18 / 35 » A delta-driven execution model for semantic computing |
PPDP
1999
Springer
13 years 12 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
CACM
2010
13 years 5 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
SIGMOD
2001
ACM
14 years 7 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...
ICDCSW
2007
IEEE
14 years 2 months ago
2007
IEEE
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...