3216 search results - page 413 / 644 » Software engineering issues for mobile application developme... |
154
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
107
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
114
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...
120
Voted
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
This paper describes the application of the WinWin paradigm to identify and resolve conflicts in a series of real-client, student-developer digital library projects. The paper is ...
104
click to vote
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...