8825 search results - page 1551 / 1765 » All for one or one for all |
136
click to vote
JFP
2007
15 years 21 days ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
110
click to vote
TON
2008
15 years 21 days ago
2008
Abstract--Intermittently connected mobile networks are wireless networks where most of the time there does not exist a complete path from the source to the destination. There are m...
109
Voted
CGF
2005
15 years 21 days ago
2005
In this paper we explore the algorithmic space in which stripification, simplification and geometric compression of triangulated 2-manifolds overlap. Edge-collase/uncollapse based...
117
Voted
TSE
2008
15 years 21 days ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
116
Voted
JNW
2007
15 years 21 days ago
2007
— Wireless and mobile networks have experienced a great success in the past few years. However, any single type of wireless and mobile network cannot meet all types of service re...