16790 search results - page 3342 / 3358 » A Future for Software Engineering |
95
Voted
IEEESP
2007
15 years 20 days ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
110
Voted
IJISEC
2007
15 years 20 days ago
2007
The vision of ubiquitous computing is becoming a reality thanks to the advent of portable devices and the advances in wireless networking technologies. It aims to facilitate user ...
117
Voted
SMA
2008
ACM
15 years 20 days ago
2008
ACM
An algorithm and implementation is presented to compute the exact arrangement induced by arbitrary algebraic surfaces on a parametrized ring Dupin cyclide. The family of Dupin cyc...
126
Voted
INTERNET
2007
15 years 19 days ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
106
click to vote
TCS
2008
15 years 19 days ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...