Sciweavers

2989 search results - page 207 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
119
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 8 days ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
118
Voted
ISOLA
2010
Springer
15 years 12 days ago
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
Twan Basten, Emiel van Benthum, Marc Geilen, Marti...
CRV
2009
IEEE
115views Robotics» more  CRV 2009»
15 years 9 months ago
Learning Model Complexity in an Online Environment
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
Dan Levi, Shimon Ullman
155
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 2 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
101
Voted
ACJ
2002
122views more  ACJ 2002»
15 years 2 months ago
Product-Based Design of Business Processes Applied within the Financial Services
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
Hajo A. Reijers