9989 search results - page 279 / 1998 » A CLP Approach to Modelling Systems |
187
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
203
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
164
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
175
click to vote
DAIS
2010
15 years 8 months ago
2010
Context-aware applications and middleware platforms are evolving into major driving factors for pervasive systems. The ability to also make accurate assumptions about future contex...
174
click to vote
ICONIP
2008
15 years 8 months ago
2008
Several applications would emerge from the development of efficient and robust sound classification systems able to identify the nature of non-speech sound sources. This paper prop...