Sciweavers

6253 search results - page 837 / 1251
» Use Case Modeling Guidelines
Sort
View
IFIP
1998
Springer
15 years 11 months ago
Mobile agent technology in support of sales order processing in the virtual enterprise
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
Todd Papaioannou, John Edwards
HT
1996
ACM
15 years 11 months ago
The Flag Taxonomy of Open Hypermedia Systems
This paper presents a taxonomy for open hypermedia systems. The purpose of the Flag1 taxonomy is manifold: 1 to provide a framework to classify and concisely describe individual s...
Kasper Østerbye, Uffe Kock Wiil
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 10 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
ICLP
1995
Springer
15 years 10 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
CCGRID
2006
IEEE
15 years 8 months ago
A Co-ordinate Based Resource Allocation Strategy for Grid Environments
In this paper, we propose a novel resource scheduling strategy, referred to as the Multi-Resource Scheduling (MRS) algorithm, which is capable of handling several resources to be u...
Benjamin Khoo Boon Tat, Bharadwaj Veeravalli, Tere...