261 search results - page 41 / 53 » Specifying Semantic Email Processes |
132
click to vote
TACAS
2012
Springer
13 years 7 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
188
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
on Uncertain Data (Extended Abstract) Ming Hua Jian Pei Wenjie Zhang Xuemin Lin Simon Fraser University, Canada The University of New South Wales & NICTA {mhua, jpei}@cs.sfu.c...
129
click to vote
IDEAS
2009
IEEE
15 years 6 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
UML
2004
Springer
15 years 5 months ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The Health Level 7 Clinic Document Architecture (CDA) is an XML-based document markup standard that specifies the hierarchical structure and semantics of “clinical documents” ...