Sciweavers

2501 search results - page 317 / 501
» Obligations and Their Interaction with Programs
Sort
View
DSN
2006
IEEE
16 years 19 days ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
ACMMSP
2006
ACM
250views Hardware» more  ACMMSP 2006»
16 years 16 days ago
What do high-level memory models mean for transactions?
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
Dan Grossman, Jeremy Manson, William Pugh
ASSETS
2006
ACM
16 years 16 days ago
A flexible VXML interpreter for non-visual web access
VoiceXML (VXML) is a W3C’s standard for specifying interactive dialogs. It finds multiple uses in various Web applications. VXML can also be used in non-visual Web browsing. Th...
Yevgen Borodin
CHI
2006
ACM
16 years 16 days ago
Tinkering and gender in end-user programmers' debugging
Earlier research on gender effects with software features intended to help problem-solvers in end-user debugging environments has shown that females are less likely to use unfamil...
Laura Beckwith, Cory Kissinger, Margaret M. Burnet...
WWW
2006
ACM
16 years 15 days ago
ASDL: a wide spectrum language for designing web services
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
Monika Solanki, Antonio Cau, Hussein Zedan