2409 search results - page 288 / 482 » Logical systems for structured specifications |
139
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
156
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
148
click to vote
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
Referential integrity underlies the relational representation of objeceoriented structures. The concept of referential integrity in relational databases is hindered by the confusi...
122
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
141
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Multiprocessor application performance can be limited by the operating system when the application uses the operating system frequently and the operating system services use data ...