489 search results - page 44 / 98 » Reasoning about confidentiality at requirements engineering ... |
104
click to vote
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
126
click to vote
BPM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
172
click to vote
SADFE
2010
IEEE
14 years 10 months ago
2010
IEEE
: Like other latent evidence that cannot be directly perceived by people, bit sequences have to be presented through tools. Presentations of digital forensic evidence often involve...
118
click to vote
C3S2E
2010
ACM
15 years 1 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
106
Voted
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...