1615 search results - page 174 / 323 » Distributed Forward Checking |
133
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
113
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
118
Voted
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
116
Voted
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
108
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...