3602 search results - page 240 / 721 » Isn't It About Time |
103
click to vote
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
85
Voted
IWSEC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. With the digitization of society and the continuous migration of services to the electronic world, individuals have lost significant control over their data. In this pap...
102
Voted
MTSR
2007
Springer
15 years 6 months ago
2007
Springer
Preservation of interactive multimedia performances is becoming important as they are getting more and more popular in performing arts communities. A proper preservation does not o...
PDCAT
2007
Springer
15 years 6 months ago
2007
Springer
The capability of an employee to violate the policy of an organization is a concern for an employer. Monitoring is a measure taken by an employer to discourage an employee from ac...
AGILEDC
2006
IEEE
15 years 6 months ago
2006
IEEE
We have an Extreme Programming team at a small company dedicated to the Agile approach. Our team of 7 developers decided to use the pairing session as the fundamental unit of work...