4281 search results - page 8 / 857 » How to Disembed a Program |
AGP
1994
IEEE
13 years 11 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
ICALP
2010
Springer
13 years 9 months ago
2010
Springer
Gossip protocols, also known as epidemic dissemination schemes, are becoming increasingly popular in distributed systems. Yet, it has remained a partially open question to determin...
IWOMP
2010
Springer
13 years 9 months ago
2010
Springer
With the approaching of the many-core era, it becomes more and more difficult for a single OpenMP application to efficiently utilize all the available processor cores. On the other...
VAMOS
2008
Springer
13 years 9 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
IADIS
2003
13 years 8 months ago
2003
The paper introduces the concept of digital city and discusses how to assess a particular project, concerning its success in connecting the real city with its virtual counterpart....