Sciweavers

636 search results - page 76 / 128
» The AXML Artifact Model
Sort
View
AOSE
2000
Springer
14 years 4 days ago
Representing Agent Interaction Protocols in UML
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts t...
James Odell, H. Van Dyke Parunak, Bernhard Bauer
APSEC
2004
IEEE
13 years 11 months ago
A Systematic Method to Identify Software Components
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
Soo Dong Kim, Soo Ho Chang
CGI
2004
IEEE
13 years 11 months ago
CSG Operations with Voxelized Solids
We present a new technique for CSG operations with voxelized geometric objects, which are represented by truncated discrete distance fields supplemented by additional information ...
Pavol Novotný, Leonid I. Dimitrov, Milos Sr...
FMCAD
2000
Springer
13 years 11 months ago
A Methodology for Large-Scale Hardware Verification
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
Mark Aagaard, Robert B. Jones, Thomas F. Melham, J...
IWSAPF
2000
13 years 11 months ago
Software Connectors and Refinement in Family Architectures
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
Alexander Egyed, Nikunj R. Mehta, Nenad Medvidovic