805 search results - page 85 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
CPE
2003
Springer
15 years 3 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
SERP
2003
14 years 11 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
104
click to vote
IJCAT
2010
14 years 8 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
CIDM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— We present a method for performing mode classification of real-time streams of GPS surface position data. Our approach has two parts: an algorithm for robust, unconstr...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...