718 search results - page 94 / 144 » Extraction of Structured Programs from Specification Proofs |
115
Voted
ICS
2010
Tsinghua U.
15 years 7 months ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
151
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
139
Voted
BROADNETS
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper presents the design and dimensioning optimization of a novel optical network structure, called the Petaweb, having a total capacity of several Pb/s (1015 bit/s). Its...
114
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
127
click to vote
ACMSE
2005
ACM
15 years 4 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...