1606 search results - page 126 / 322 » Methodological Approach for Developing a KMS: A Case Study |
122
Voted
RTS
2008
15 years 4 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
183
click to vote
CANDC
2009
ACM
15 years 2 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
153
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
151
Voted
WSC
2000
15 years 6 months ago
2000
We present a technique for analyzing a simulation metamodel that has been constructed using a variancestabilizing transformation. To compute a valid confidence interval for the ex...
149
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...