2637 search results - page 418 / 528 » Tool Supported Specification and Simulation of Distributed S... |
146
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...
279
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
166
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
When a supply chain is established supply chain management (SCM) needs supporting tools for the tasks of operative planning, scheduling, and coordination. These tasks have to be p...
154
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
158
click to vote
LREC
2008
15 years 7 months ago
2008
Recently, most of the research in NLP has concentrated on the creation of applications coping with textual entailment. However, there still exist very few resources for the evalua...