3028 search results - page 386 / 606 » Integrating Temporal Logics |
165
click to vote
IMSCCS
2006
IEEE
16 years 19 days ago
2006
IEEE
The application of component repository has become more and more popular in the practice of component-based software development. Most of the repositories are physically isolated ...
141
click to vote
AICCSA
2005
IEEE
16 years 7 days ago
2005
IEEE
OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. Op...
186
click to vote
VRCAI
2004
ACM
16 years 1 days ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...
170
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...
181
click to vote
IEEEAMS
2003
IEEE
15 years 12 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...