2702 search results - page 231 / 541 » Practically Applicable Formal Methods |
111
click to vote
PE
2000
Springer
15 years 2 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
125
Voted
ALT
2007
Springer
15 years 8 months ago
2007
Springer
In transfer learning the aim is to solve new learning tasks using fewer examples by using information gained from solving related tasks. Existing transfer learning methods have be...
96
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...
137
click to vote
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
As the XML model gets more popular, new needs arise to specify access control within XML model. Various XML access control models and enforcement methods have been proposed recentl...
116
Voted
COMCOM
2007
15 years 2 months ago
2007
Credit card transactions are a popular and diffused means of payment over the network. Unfortunately, current technology does not allow us to technically solve disputes that may ...