3216 search results - page 282 / 644 » Software engineering issues for mobile application developme... |
142
click to vote
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
117
click to vote
EUC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. With the knowledge about their locations, mobile users are able to issue location-dependent queries. Most of existing approaches focus on how to obtain the information ab...
137
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
123
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
120
Voted
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
Context has been applied to a broad range of domains and systems ranging from location-based tourist applications to motion capture. An area relatively under-represented in the li...