3456 search results - page 604 / 692 » Byte Code Engineering |
124
click to vote
APN
2003
Springer
15 years 7 months ago
2003
Springer
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manua...
111
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
124
click to vote
EPIA
2003
Springer
15 years 7 months ago
2003
Springer
We describe how to build a network intrusion detection sensor by slightly modifying NASA’s CLIPS source code introducing some new features. An overview of the system is presente...
127
Voted
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
129
click to vote
EUROMICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
To accommodate heterogeneous transmission conditions in a streaming scenario several multi-rate multicast solutions have been proposed, based on simulcasting or hierarchical layer...