10159 search results - page 330 / 2032 » System Design Validation Using Formal Models |
151
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
144
click to vote
FAC
2010
15 years 1 months ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
144
click to vote
ENTCS
2008
15 years 3 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
162
click to vote
SMC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Closed Circuit Television systems in shopping malls could be used to monitor the shopping behavior of people. From the tracked path, features can be extracted such as the relati...
124
click to vote
GRAPHICSINTERFACE
2003
15 years 5 months ago
2003
We present a critique of language-based modelling for text input research, and propose an alternative inputbased approach. Current language-based statistical models are derived fr...