3564 search results - page 141 / 713 » Evaluating a Formal Modelling Language |
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
The NLP systems often have low performances because they rely on unreliable and heterogeneous knowledge. We show on the task of non-anaphoric it identification how to overcome the...
ENTCS
2006
14 years 10 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
111
click to vote
MEMOCODE
2008
IEEE
15 years 4 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
105
click to vote
SWS
2004
ACM
15 years 3 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...