2227 search results - page 200 / 446 » Reversibility and Models for Concurrency |
167
Voted
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
163
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Topic Maps and RDF are two independently developed paradigms and standards for the representation, interchange, and exploitation of model-based data on the web. Each para...
172
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
184
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
183
click to vote
CEEMAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...