1481 search results - page 265 / 297 » Enriching the Software Development Process by Formal Methods |
119
click to vote
ATAL
1995
Springer
15 years 3 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
PPSC
1993
15 years 1 months ago
1993
Wide area computer networks have become a basic part of today's computing infrastructure. These networks connect a variety of machines, presenting an enormous computing resou...
DSD
2006
IEEE
15 years 5 months ago
2006
IEEE
Traditionally, an embedded system design process demands a considerable amount of expertise, time and money. This makes developing embedded systems difficult for many companies, a...
106
click to vote
ISQED
2008
IEEE
15 years 6 months ago
2008
IEEE
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...
108
click to vote
ICSOC
2004
Springer
15 years 5 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...