3837 search results - page 585 / 768 » Concurrent Engineering support in Software Engineering |
FOSSACS
1999
Springer
14 years 1 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
EUROMICRO
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we present a novel processor microarchitecture that relieves three of the most important bottlenecks of superscalar processors: the serialization imposed by true dep...
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
IUI
1998
ACM
14 years 1 months ago
1998
ACM
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...
UIST
1998
ACM
14 years 1 months ago
1998
ACM
Textual query languages based on Boolean logic are common amongst the search facilities of on-line information repositories. However, there is evidence to suggest that the syntact...