3239 search results - page 612 / 648 » A Logical Process Calculus |
103
click to vote
SIGPLAN
2008
15 years 12 days ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
114
Voted
JBCB
2007
15 years 12 days ago
2007
Mechanistic models for transcriptional regulation are derived using the methods of equilibrium statistical mechanics, to model equilibrating processes that occur at a fast time sc...
118
Voted
CGA
2005
15 years 11 days ago
2005
visualization to abstract data sets like network intrusion detection, recommender systems, and database query results. Although display algorithms are a critical component in the v...
117
click to vote
TSE
1998
15 years 4 days ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
104
Voted
PVLDB
2010
14 years 11 months ago
2010
Commercial databases compete for market share, which is composed of not only net-new sales to those purchasing a database for the first time, but also competitive “win-backs”...