2700 search results - page 503 / 540 » The role of abstraction in software engineering |
175
click to vote
FOSSACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
187
click to vote
ISORC
2008
IEEE
16 years 15 days ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
152
click to vote
ACSAC
2007
IEEE
16 years 14 days ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
172
click to vote
COMSWARE
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— Wireless sensor networks (WSNs) promise finegrain monitoring in a wide variety of applications, which require dense sensor nodes deployment. Due to high density of nod...
170
click to vote
COMSWARE
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— Multihop wireless networks are ideal as infrastructures for location-aware network applications, particularly for disaster recovery operations. However, one missing com...