11561 search results - page 2094 / 2313 » A Language for Biochemical Systems |
203
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
159
click to vote
QSIC
2005
IEEE
16 years 6 days ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
159
click to vote
VISUALIZATION
2005
IEEE
16 years 5 days ago
2005
IEEE
The study of physical models for knots has recently received much interest in the mathematics community. In this paper, we consider the ropelength model, which considers knots tie...
186
Voted
ACMSE
2005
ACM
16 years 5 days ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
189
Voted
ACMSE
2005
ACM
16 years 5 days ago
2005
ACM
Digital libraries (DLs) have become a major focus of information technology resources for organizations from academia, to the US Department of Defense to the archeological efforts...