4211 search results - page 615 / 843 » A formal approach to MASQ |
155
click to vote
AMR
2007
Springer
16 years 24 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
187
click to vote
ICSOC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
168
click to vote
HIKM
2006
ACM
16 years 18 days ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
182
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
180
click to vote
FMCAD
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...