22698 search results - page 452 / 4540 » Modeling in Software Engineering |
154
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
232
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
159
click to vote
IPPS
2009
IEEE
16 years 1 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...
161
Voted
ESAW
2009
Springer
16 years 1 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...
168
click to vote
EEMMAS
2007
Springer
16 years 17 days 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...