Sciweavers

8928 search results - page 357 / 1786
» Modeling Current Events
Sort
View
AIEDAM
2006
95views more  AIEDAM 2006»
15 years 4 months ago
Constraint solving for direct manipulation of features
In current commercial feature modeling systems, support for direct manipulation of features is not commonly available. This is partly due to the strong reliance of such systems on...
Daniel Lourenço, Pedro Oliveira, Alex Noort...
144
Voted
JOT
2006
119views more  JOT 2006»
15 years 4 months ago
An efficient multiversion access control in a Temporal Object Oriented Database
Many data base applications require the storage and manipulation of different versions of data objects. To satisfy the diverse needs of these applications, current database system...
Gurusamy Arumugam, Muthuraman Thangaraj
141
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 9 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
MOBIQUITOUS
2005
IEEE
15 years 10 months ago
An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
Chetan Shiva Shankar, Anand Ranganathan, Roy H. Ca...
CAISE
2003
Springer
15 years 10 months ago
Hybrid Publish-Subscribe: A Compromise Approach for Large-Scale
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...
Roman Szarowski