1521 search results - page 57 / 305 » On Sampled Semantics of Timed Systems |
ISI
2004
Springer
14 years 4 months ago
2004
Springer
We propose a surveillance framework (SECRETS: SECure Real-time ElecTronic Surveillance) that is a practical solution to safeguarding sensitive physical facilities like command and ...
ENTCS
2006
13 years 11 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
BMCBI
2007
13 years 11 months ago
2007
Background: One of the crucial aspects of day-to-day laboratory information management is collection, storage and retrieval of information about research subjects and biomedical s...
WWW
2006
ACM
14 years 11 months ago
2006
ACM
The increasing amount of communication between individuals in e-formats (e.g. email, Instant messaging and the Web) has motivated computational research in social network analysis...
LREC
2010
14 years 12 days ago
2010
The goal of this paper is to describe the annotation protocols and the Semantic Annotation Tool (SAT) used in the DutchSemCor project. The DutchSemCor project is aiming at alignin...