9503 search results - page 392 / 1901 » Authenticated System Calls |
192
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
182
click to vote
IJFCS
2008
15 years 7 months ago
2008
We consider the problem of synchronizing the activity of all the membranes of a P system. After pointing at the connection with a similar problem dealt with in the field of cellul...
191
click to vote
IAJIT
2007
15 years 7 months ago
2007
We present a scalable distributed database system called SD-SQL Server. Its original feature is the dynamic and transparent repartitioning of growing tables, avoiding the cumbersom...
182
click to vote
PE
2006
Springer
15 years 7 months ago
2006
Springer
We consider multi-class blocking systems in which jobs require a single processing step. There are groups of servers that can each serve a different subset of all job classes. The...
202
click to vote
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...