Sciweavers

6431 search results - page 763 / 1287
» Model Building by Resolution
Sort
View
RE
2008
Springer
15 years 6 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
190
Voted
ICWE
2010
Springer
15 years 5 months ago
Connecting Smart Things through Web Services Orchestrations
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
Antonio Pintus, Davide Carboni, Andrea Piras, Ales...
PROCEDIA
2010
97views more  PROCEDIA 2010»
15 years 5 months ago
Ontological musings on how nature computes
Modern physical theory and modern computational techniques are used to provide conjecture on how nature computes. I utilize time-domain simulation of physical phenomena and build ...
J. F. Nystrom
STTT
2010
126views more  STTT 2010»
15 years 5 months ago
Towards an industrial grade IVE for Java and next generation research platform for JML
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
Patrice Chalin, Robby, Perry R. James, Jooyong Lee...
ACL
2010
15 years 4 months ago
"Ask Not What Textual Entailment Can Do for You..."
We challenge the NLP community to participate in a large-scale, distributed effort to design and build resources for developing and evaluating solutions to new and existing NLP ta...
Mark Sammons, V. G. Vinod Vydiswaran, Dan Roth