536 search results - page 70 / 108 » A computer verified, monadic, functional implementation of t... |
ITICSE
2003
ACM
15 years 5 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
100
click to vote
ACMACE
2005
ACM
15 years 1 months ago
2005
ACM
Current commercial AI middleware are still far from being a generic and flexible tool for developing computer games. Also the literature lacks proposals in this field. In this w...
102
click to vote
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
116
click to vote
TRUSTBUS
2005
Springer
15 years 5 months ago
2005
Springer
The executions of operating system services based on smart cards allow one to personalize some functionalities of the operating system by using the secret information stored in a s...
CSIE
2009
IEEE
15 years 6 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...