15253 search results - page 309 / 3051 » Integer-Programming Software Systems |
174
click to vote
SE
2010
15 years 8 months ago
2010
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
191
click to vote
RITA
2000
15 years 6 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
740
click to vote
Lab
Division for foundations of software led by Professor Minoru Ito in graduate school of information science at Nara Institute of Science and Technology, JAPAN, is engaged in researc...
186
Voted
ADAEUROPE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...