3216 search results - page 551 / 644 » Software engineering issues for mobile application developme... |
109
click to vote
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
How can we keep technology-focused computing and software engineering students interested and engaged in a soft subject like HCI? How can we avoid leaving the less gifted and less...
MTSR
2007
Springer
15 years 4 months ago
2007
Springer
In today's rapidly evolving society, the range and depth of information available to us is quickly growing which affects educational institutions, who find it difficult to kee...
ICESS
2005
Springer
15 years 3 months ago
2005
Springer
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...
CODES
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...