5699 search results - page 367 / 1140 » Alternating model trees |
192
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
194
click to vote
LICS
2000
IEEE
16 years 1 days ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
198
click to vote
ISCAS
1999
IEEE
15 years 12 months ago
1999
IEEE
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
217
click to vote
WSC
2007
15 years 10 months ago
2007
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....
171
click to vote
ECIS
2003
15 years 9 months ago
2003
Most published research in information systems is underpinned by a positivist or empiricist philosophy. This generally involves the collection of quantitative data and its subsequ...