233 search results - page 37 / 47 » The Author-Topic Model for Authors and Documents |
FC
2007
Springer
15 years 3 months ago
2007
Springer
1 2 There is a critical need in computer security to communicate risks and thereby enable informed decisions by naive users. Yet computer security has not been engaged with the sc...
EGOV
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present an approach based on hierarchically structured business models as artifacts of business process modeling that are used in a stepwise acquisition process f...
IMC
2006
ACM
15 years 3 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
99
Voted
DAC
2003
ACM
15 years 10 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
77
Voted
GI
2009
Springer
14 years 7 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...