Sciweavers

348 search results - page 34 / 70
» Leveraging Inconsistency in Software Development
Sort
View
ISCIS
2004
Springer
14 years 28 days ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
COOPIS
1996
IEEE
13 years 11 months ago
A Methodology for Building a Data Warehouse in a Scientific Environment
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
Karl Aberer, Klemens Hemm
ACSC
2004
IEEE
13 years 11 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
JUCS
2007
104views more  JUCS 2007»
13 years 7 months ago
Achieving Atomicity for Web Services Using Commutativity of Actions
: Web Services enable the creation of complex business activities through the cooperation of independently developed software programs. However, Web Services incur the risk of long...
P. Michael Melliar-Smith, Louise E. Moser
MSE
2005
IEEE
129views Hardware» more  MSE 2005»
14 years 1 months ago
An FPGA-Based Daughtercard for TI's C6000 family of DSKs
In this paper we present an FPGA-based daughtercard designed for TI’s C6000 family of DSP Starter Kits (DSKs). The hardware, initially designed for a course project, provides a ...
Manik Gadhiok, Ricky Hardy, Patrick Murphy, J. Pat...