Sciweavers

1091 search results - page 190 / 219
» On the temporal dimension of search
Sort
View
HICSS
2008
IEEE
175views Biometrics» more  HICSS 2008»
15 years 6 months ago
Service-Oriented Resource Management
Service Management controls how business services are developed and delivered to customers. Business services must be flexible negotiable between customer and provider. Temporal a...
Jürgen Dorn, Hannes Werthner
HYBRID
2007
Springer
15 years 6 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
HICSS
2006
IEEE
138views Biometrics» more  HICSS 2006»
15 years 5 months ago
Remembrance of Things Past: Using Maps and Routes to Navigate through Virtual Environment Experiences
Collaborative Virtual Environments (CVEs) show great promise in domains such as education. Instead of using 3D space to weakly imitate physical classrooms, educators can create 3D...
Gustav Verhulsdonck, Clinton Jeffery
ICMCS
2005
IEEE
110views Multimedia» more  ICMCS 2005»
15 years 5 months ago
Electronic Chronicles: Empowering Individuals, Groups, and Organizations
Continuing strides in processing, storage, sensing, and networking technologies are enabling people to capture their activities and experiences as greater volumes of ever-richer m...
Gopal Pingali, R. Jain
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 5 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler