7961 search results - page 1296 / 1593 » Input-Output Model Programs |
145
click to vote
DCOSS
2008
Springer
15 years 6 months ago
2008
Springer
Data-driven macroprogramming of wireless sensor networks (WSNs) provides an easy to use high-level task graph representation to the application developer. However, determining an e...
164
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
148
click to vote
ACL
2008
15 years 5 months ago
2008
Discriminative feature-based methods are widely used in natural language processing, but sentence parsing is still dominated by generative methods. While prior feature-based dynam...
155
click to vote
CRIWG
2007
15 years 5 months ago
2007
Two of the most important research subjects during the development of intelligent authoring systems (IAS) for education are the modeling of knowledge and the extraction of knowledg...
125
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...