4919 search results - page 235 / 984 » A Process-Ontological Model for Software Engineering |
163
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
148
click to vote
ICCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
137
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
130
click to vote
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
137
click to vote
EEMMAS
2007
Springer
15 years 10 months ago
2007
Springer
Multiagent systems for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises th...