3239 search results - page 612 / 648 » A Logical Process Calculus |
131
click to vote
SIGPLAN
2008
15 years 3 months 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 ...
142
click to vote
JBCB
2007
15 years 3 months 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...
139
click to vote
CGA
2005
15 years 3 months 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...
145
Voted
TSE
1998
15 years 3 months 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...
130
Voted
PVLDB
2010
15 years 1 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”...