585 search results - page 107 / 117 » Strategy Logic |
123
click to vote
ICFP
2010
ACM
15 years 22 days ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
ENGL
2007
14 years 11 months ago
2007
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...
109
click to vote
INFORMS
1998
14 years 11 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
120
Voted
TMC
2012
13 years 2 months ago
2012
—Sensor networks nowadays are widely used for structural health monitoring; for example, the sensor monitoring system deployed on the Guangzhou New TV Tower, China. While wired s...
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...