856 search results - page 162 / 172 » Dependent Types in Practical Programming |
123
click to vote
ER
2004
Springer
15 years 7 months ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
129
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper builds on ideas in a recent paper which argued that the core subject matter of the IS field should not be “the IT artifact” (as suggested by Orlikowski and Iacono [...
102
click to vote
HAPTICS
2009
IEEE
15 years 5 months ago
2009
IEEE
Within the HapCath - haptic catheter - project an assistive system for interventional catheterizations has been developed. Conventional navigation during catheterization is done b...
139
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Packet filtering plays a critical role in many of the current high speed network technologies such as firewalls and IPSec devices. The optimization of firewall policies is critica...
133
click to vote
ER
2006
Springer
15 years 4 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...