8695 search results - page 1299 / 1739 » Making the Complex Simple |
144
Voted
FTRTFT
2000
Springer
15 years 8 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
153
click to vote
ROBOCUP
2000
Springer
15 years 8 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
137
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
Microsoft Windows 2000 represents a major change in desktop and network operating systems. This latest Windows operating system includes many new features and technologies that wi...
165
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
140
click to vote
GD
1995
Springer
15 years 8 months ago
1995
Springer
It is a di cult problem to display large, complex graphs in a manner which furthers comprehension. A useful approach is to expand selected sections foci of the graph revealing de...