699 search results - page 48 / 140 » The KGP Model of Agency for Global Computing: Computational ... |
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Dynamic replication algorithms aim at allocating, migrating and deleting copies of an object over various Internet hosts, according to the access patterns exhibited online, so as ...
CVPR
2003
IEEE
14 years 2 months ago
2003
IEEE
Pedal curves are the loci of the feet of perpendiculars to the tangents of a fixed curve to a fixed point called the pedal point. By varying the location of the pedal point, def...
DAC
2007
ACM
14 years 22 days ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...