3021 search results - page 289 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
222
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
199
click to vote
WER
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
147
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniques’ sophistication have increas...
146
click to vote
CONTEXT
2007
Springer
16 years 25 days ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
184
click to vote
VLDB
2007
ACM
16 years 23 days ago
2007
ACM
Damia is a lightweight enterprise data integration service where line of business users can create and catalog high value data feeds for consumption by situational applications. D...