Sciweavers

764 search results - page 63 / 153
» Modeling Ubiquitous Business Process Driven Applications
Sort
View
MKWI
2008
157views Business» more  MKWI 2008»
15 years 6 months ago
Semantic-Based Planning of Process Models
: Process modelling has proved to be a powerful instrument to describe and manage the increasingly complex processes within and across enterprises. Yet, it requires a significant a...
Matthias Henneberger, Bernd Heinrich, Florian Laut...
ISQED
2002
IEEE
126views Hardware» more  ISQED 2002»
15 years 9 months ago
Formulae for Performance Optimization and Their Applications to Interconnect-Driven Floorplanning
As the process technology advances into the deep submicron era, interconnect plays a dominant role in determining circuit performance. Buffer insertion/sizing and wire sizing are ...
Nicholas Chia-Yuan Chang, Yao-Wen Chang, Iris Hui-...
ICWS
2007
IEEE
15 years 6 months ago
A Semantic Web Services-based Infrastructure for Context-Adaptive Process Support
Current technologies aimed at supporting processes – whether it is a business or learning process – primarily follow a metadata- and data-centric paradigm. Whereas process met...
Stefan Dietze, Alessio Gugliotta, John Domingue
ECMDAFA
2006
Springer
228views Hardware» more  ECMDAFA 2006»
15 years 8 months ago
Model Driven Development of Multi-Agent Systems
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
Juan Pavón, Jorge J. Gómez-Sanz, Rub...
167
Voted
ICSE
1999
IEEE-ACM
15 years 9 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith