431 search results - page 32 / 87 » A Case Study of Distributed, Asynchronous Software Inspectio... |
COMCOM
2000
13 years 7 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
EDOC
2000
IEEE
14 years 2 days ago
2000
IEEE
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
UML
2005
Springer
14 years 1 months ago
2005
Springer
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
The computational power needed for searching exponentially growing databases, such as GenBank, has increased dramatically. Three different implementations of the most widely used ...