849 search results - page 5 / 170 » Modeling Collaborative Behavior: Foundations for Collaborati... |
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
WECWIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
WETICE
1998
IEEE
14 years 3 days ago
1998
IEEE
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
APWEB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In recent years, personalized news recommendation has received increasing attention in IR community. The core problem of personalized recommendation is to model and track...