1317 search results - page 142 / 264 » A Technique for Constructing Developable Surfaces |
161
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
161
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...
154
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
164
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
163
Voted
WADT
1998
Springer
15 years 9 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...