Sciweavers

174 search results - page 31 / 35
» A Software Architecture for Object Perception and Semantic R...
Sort
View
106
Voted
P2PKM
2004
15 years 2 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
15 years 2 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
15 years 6 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
118
Voted
SARA
2009
Springer
15 years 5 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»
15 years 5 months 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