12774 search results - page 196 / 2555 » A Framework for Proof Systems |
133
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
The advent of mobile phones and the Internet opened the doors for an emerging class of applications that connect mobile users to online resources and information services availabl...
141
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a test framework to support unit component testing in distributed component-based systems that are built upon component technologies like CORBA, COM/.NET, J2EE...
152
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
E-Learning is a fast, just-in-time, and non-linear learning process, which is now widely applied in distributed and dynamic environments such as on the World Wide Web. However, it...
137
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
128
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...