3291 search results - page 246 / 659 » Technology and Challenges of M-Commerce |
188
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
255
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
148
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...
132
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Portraits in Practice invites companies with technically advanced software-engineering practices and intriguing research challenges to discuss them with the ICSE 2007 participants...
147
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Web applications are increasingly becoming the most important platform for software applications in industry, with many modelling languages proposed to handle the complexity of ...