2698 search results - page 422 / 540 » Software Process Model Blueprints |
140
click to vote
CONSTRAINTS
2011
14 years 9 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
117
Voted
TACAS
2010
Springer
15 years 4 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
122
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
140
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
113
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...