Sciweavers

15784 search results - page 718 / 3157
» Mega Software Engineering
Sort
View
VSTTE
2005
Springer
16 years 26 days ago
The Spec# Programming System: Challenges and Directions
Michael Barnett, Robert DeLine, Manuel Fähndr...
CGO
2010
IEEE
16 years 21 days ago
TAO: two-level atomicity for dynamic binary optimizations
Edson Borin, Youfeng Wu, Cheng Wang, Wei Liu, Maur...
IUI
2003
ACM
16 years 19 days ago
Intelligent user interfaces in the living room: usability design for personalized television applications
The purpose of this paper is to present our experience from the design of a personalized television application, and the implications for the design of interactive television appl...
Konstantinos Chorianopoulos, George Lekakos, Diomi...
AC
2003
Springer
16 years 19 days ago
Basic Category Theory for Models of Syntax
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
Roy L. Crole
AC
2003
Springer
16 years 19 days ago
Unbounded Petri Net Synthesis
We address the problem of deciding uniformly for graphs or languages of a given class whether they are generated by unlabelled Place-Transition nets whose sets of reachable marking...
Philippe Darondeau