4763 search results - page 303 / 953 » On the Execution of Deep Models |
209
click to vote
ISSRE
2005
IEEE
16 years 1 months 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. ...
206
click to vote
ER
2005
Springer
16 years 1 months 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 ...
194
click to vote
ICFEM
2004
Springer
16 years 28 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...
186
click to vote
ANSS
2003
IEEE
16 years 26 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...
175
click to vote
ECBS
2003
IEEE
16 years 25 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...