Sciweavers

639 search results - page 56 / 128
» About Norms and Causes
Sort
View
PLPV
2010
ACM
15 years 8 months ago
Free theorems for functional logic programs
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
Jan Christiansen, Daniel Seidel, Janis Voigtlä...
TEI
2010
ACM
960views Hardware» more  TEI 2010»
15 years 6 months ago
Anxiety of patients in the waiting room of the emergency department
This study aims at understanding the patient’s experience in the waiting room of the emergency department. The research explores and unveils the context and interactions in the ...
JungKyoon Yoon, Marieke Sonneveld
OOPSLA
2009
Springer
15 years 6 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
INFOCOM
2006
IEEE
15 years 5 months ago
Stall and Path Monitoring Issues in SCTP
Abstract— This paper presents how SCTP can stall in multihomed scenarios during failover and under certain circumstances. A stall is where an SCTP end-point ceases to communicate...
James Noonan, Philip Perry, Seán Murphy, Jo...
DASFAA
2009
IEEE
108views Database» more  DASFAA 2009»
15 years 3 months ago
An Effective and Efficient Method for Handling Transmission Failures in Sensor Networks
Abstract. The suppression scheme is a solution for limited energy constraints in sensor networks. Temporal suppression, spatial suppression and spatio-temporal suppression are prop...
Heejung Yang, Chin-Wan Chung