3357 search results - page 381 / 672 » Controlling Complexity |
199
Voted
EUROSYS
2010
ACM
16 years 24 days ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
169
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways. Com...
150
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
187
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
183
click to vote
COMPSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...