Sciweavers

2500 search results - page 51 / 500
» Specifying Behavior in C
Sort
View
BIRTHDAY
2008
Springer
13 years 11 months ago
Approximating Behaviors in Embedded System Design
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
Roberto Passerone, Alberto L. Sangiovanni-Vincente...
HICSS
2008
IEEE
126views Biometrics» more  HICSS 2008»
14 years 3 months ago
An Empirical Investigation of Knowledge Creation in Electronic Networks of Practice: Social Capital and Theory of Planned Behavi
How to achieve knowledge creation effectively remains a problem, this becomes even more difficult in a loosely knitted community such as networks of practice. This is because know...
Shih-Wei Chou, Yu-Chieh Chang
DBPL
2007
Springer
75views Database» more  DBPL 2007»
14 years 3 months ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
SOFSEM
2007
Springer
14 years 3 months ago
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
Jaroslav Drazan, Vladimir Mencl
UML
2004
Springer
14 years 2 months ago
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
Iris Reinhartz-Berger, Arnon Sturm