3688 search results - page 605 / 738 » Static analysis of aspects |
170
click to vote
MODELS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
173
click to vote
WSFM
2007
Springer
16 years 18 days ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
162
click to vote
AICT
2006
IEEE
16 years 17 days ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
157
click to vote
COMPSAC
2006
IEEE
16 years 17 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
162
click to vote
ESCIENCE
2006
IEEE
16 years 17 days ago
2006
IEEE
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...