Sciweavers

750 search results - page 114 / 150
» Making a Difference in the Software Century
Sort
View
ECWEB
2000
Springer
128views ECommerce» more  ECWEB 2000»
15 years 1 months ago
Dynamic-Agents, Workflow and XML for E-Commerce Automation
Agent technologies are now being considered for automating tasks in e-commerce applications. However, conventional software agents with predefined functions, but without the abilit...
Qiming Chen, Umeshwar Dayal, Meichun Hsu, Martin L...
MA
2000
Springer
114views Communications» more  MA 2000»
15 years 1 months ago
Saving Energy and Providing Value Added Services in Intelligent Buildings: A MAS Approach
In a de-regulated market the distribution utilities will compete with added value for the customer in addition to the delivery of energy. We describe a system consisting of a colle...
Paul Davidsson, Magnus Boman
104
Voted
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 1 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
14 years 11 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
IEEESCC
2010
IEEE
14 years 11 months ago
An Assessment of Middleware Platforms for Accessing Remote Services
Due to the shift from software-as-a-product (SaaP) to software-as-a-service (SaaS), software components that were developed to run in a single address space must increasingly be a...
Young-Woo Kwon, Eli Tilevich, William R. Cook