4763 search results - page 303 / 953 » On the Execution of Deep Models |
184
click to vote
ISSRE
2005
IEEE
16 years 10 days ago
2005
IEEE
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
182
click to vote
ER
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
172
click to vote
ICFEM
2004
Springer
16 years 4 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
171
click to vote
ANSS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
151
click to vote
ECBS
2003
IEEE
16 years 1 days ago
2003
IEEE
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...