4377 search results - page 746 / 876 » Application Driven Software Development |
108
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
146
click to vote
ICVS
1999
Springer
15 years 5 months ago
1999
Springer
While computing power and transmission bandwidth have both been steadily increasing over the last few years, bandwidth rather than processing power remains the primary bottleneck f...
112
click to vote
RTSS
1998
IEEE
15 years 5 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
128
Voted
NGITS
1993
Springer
15 years 5 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
119
click to vote
ADG
2006
Springer
15 years 5 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...