Sciweavers

1954 search results - page 325 / 391
» A requirements analysis for videogame design support tools
Sort
View
BPM
2008
Springer
138views Business» more  BPM 2008»
13 years 11 months ago
Issues in Modeling Process Variants with Provop
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...
Alena Hallerbach, Thomas Bauer, Manfred Reichert
JWSR
2006
114views more  JWSR 2006»
13 years 8 months ago
Metadata, Ontologies, and Information Models for Grid PSE Toolkits Based on Web Services
: A PSE toolkit is a group of technologies within a software architecture through which multiple PSEs can be built for different application domains. The effective use of a PSE too...
Carmela Comito, Carlo Mastroianni, Domenico Talia
FASE
2005
Springer
14 years 2 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
IEEEPACT
2000
IEEE
14 years 1 months ago
aSOC: A Scalable, Single-Chip Communications Architecture
As on-chip integration matures, single-chip system designers must not only be concerned with component-level issues such as performance and power, but also with onchip system-leve...
Jian Liang, Sriram Swaminathan, Russell Tessier
SIGADA
1999
Springer
14 years 1 months ago
Building Tcl-Tk GUIs for HRT-HOOD systems
This work explores Tcl-Tk 8.0 as a tool to easily build script based GUIs for Ada95 realtime systems. Tcl-Tk 8.0 is a library that makes graphic programming easier, but it suffers...
Juan Carlos Díaz Martín, Isidro Iral...