4150 search results - page 35 / 830 » A Practical Approach to Model Extension |
COMPSAC
2002
IEEE
14 years 16 days ago
2002
IEEE
Web applications are becoming more complex and the way to manage that complexity is to model them. This paper presents a methodology to model Web applications directly from the ob...
FMSD
2006
13 years 7 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Networks-on-Chip (NoCs) have recently emerged as a scalable alternative to classical bus and point-to-point architectures. To date, performance evaluation of NoC designs is largel...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...
ECTEL
2008
Springer
13 years 9 months ago
2008
Springer
Current networked society present learners with challenges that cannot be sufficiently coped with in educational contexts that are characterized by transmission or participation ep...