4048 search results - page 215 / 810 » Design Science, Engineering Science and Requirements Enginee... |
138
Voted
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
104
Voted
TOPLAS
2010
15 years 2 months ago
2010
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
138
Voted
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Electronic commerce applications have special features compared to conventional information systems. First, because electronic commerce usually involves yet nonexisting business a...
139
Voted
EDUTAINMENT
2009
Springer
15 years 10 months ago
2009
Springer
This paper addresses the development of a computer game design and development curriculum at the authors’ institution. The basis for curriculum decisions, as well as comparison t...
112
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...