Sciweavers

174 search results - page 31 / 35
» A Software Architecture for Object Perception and Semantic R...
Sort
View
P2PKM
2004
13 years 10 months ago
KEEx: A Peer-to-Peer Solution for Distributed Knowledge Management
: Distributed Knowledge Management is an approach to Knowledge Management based on the principle that the multiplicity (and heterogeneity) of perspectives within complex organizati...
Matteo Bonifacio, Paolo Bouquet, Paolo Busetta, Al...
OAS
2003
13 years 10 months ago
Location-Mediated Service Coordination in Ubiquitous Computing
We propose location-mediated service coordination in ubiquitous computing. In the coordination, middle agents determine bestmatched services for a user by considering the user’s...
Akio Sashima, Noriaki Izumi, Koichi Kurumatani
PASTE
2005
ACM
14 years 2 months ago
Generalizing symbolic execution to library classes
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
Sarfraz Khurshid, Yuk Lai Suen
SARA
2009
Springer
14 years 1 months ago
Rewriting Constraint Models with Metamodels
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
Raphaël Chenouard, Laurent Granvilliers, Rica...
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
14 years 28 days ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli