5550 search results - page 32 / 1110 » Different Approaches to Proof Systems |
KIVS
2001
Springer
15 years 2 months ago
2001
Springer
This paper presents a discrete-event simulator for the General Packet Radio Service (GPRS) on the IP level. GPRS is a standard on packet data in GSM systems that will become commer...
173
click to vote
ACTA
2011
14 years 5 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...
ALIFE
2007
14 years 10 months ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
105
click to vote
AINA
2009
IEEE
15 years 3 months ago
2009
IEEE
Device centric Service-oriented Architectures have shown to be applicable in the automation industry for interconnecting manufacturing devices and enterprise systems, thus, establ...
CHI
1997
ACM
15 years 2 months ago
1997
ACM
Hypertext interfaces are considered appropriate for information exploration tasks. The prohibitively expensive link creation effort, however, prevents traditional hypertext interf...