Sciweavers

4476 search results - page 645 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
ICDE
2007
IEEE
131views Database» more  ICDE 2007»
16 years 1 months ago
Enhancing Secured Service Interoperability with Decentralized Orchestration
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
Ustun Yildiz, Claude Godart
ICRA
2002
IEEE
168views Robotics» more  ICRA 2002»
15 years 11 months ago
A Dynamical Systems Approach to Behavior-Based Formation Control
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
Sergio Monteiro, Estela Bicho
174
Voted
EPEW
2006
Springer
15 years 10 months ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley
AAAI
1994
15 years 8 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
ICDE
2007
IEEE
121views Database» more  ICDE 2007»
16 years 1 months ago
dmFSQL: a Server for Data Mining
At present, we have proceeded to extend SQL into a new language called dmFSQL (data mining Fuzzy Structured Query Language) which can be used to solve real problems of Data Mining...
Ramón Alberto Carrasco, María Amparo...