5550 search results - page 581 / 1110 » Different Approaches to Proof Systems |
201
click to vote
INTERNET
2008
15 years 7 months ago
2008
straction and explained how the Representational State Transfer (REST) architectural style is one alternative that can yield a superior approach to building distributed systems. Be...
233
Voted
AC
2004
Springer
15 years 7 months ago
2004
Springer
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
195
Voted
MICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
The performance of computer systems varies over the course of their execution. A system may perform well during some parts of its execution and poorly during others. To understand...
210
Voted
EDOC
2003
IEEE
16 years 17 days ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
192
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...