139 search results - page 8 / 28 » A material focus: exploring properties of computational comp... |
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
VR
1993
IEEE
14 years 1 days ago
1993
IEEE
The technical limitations of early Virtual Reality systems made them almost teasers for showing the potential of the technology. Since these early days, many researchers have focu...
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
Algorithms for composing Web services (WS) traditionally utilize the functional and quality-of-service parameters of candidate services to decide which services to include in the ...
RTSS
2008
IEEE
14 years 2 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
MICRO
2008
IEEE
13 years 7 months ago
2008
IEEE
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...