41938 search results - page 71 / 8388 » Complex Systems Modeling |
147
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
124
click to vote
GIS
1995
ACM
15 years 8 months ago
1995
ACM
Polygonal objects are characterized by the following well-known parameters: number of vertices, area, perimeter and so on. These parameters describe the data sets that are used in...
120
Voted
WOTUG
2008
15 years 6 months ago
2008
CSP processes have a static view of their environment
157
Voted
SOCIALCOM
2010
15 years 2 months ago
2010
Abstract--As the information flowing around in social networking systems is mainly related or can be attributed to their users, controlling access to such information by individual...
146
Voted
BIS
2008
15 years 6 months ago
2008
Abstract. In order to realise complex service-based applications on system platforms for context-aware ubiquitous computing environments, mobile processes have been introduced to s...