Sciweavers

3771 search results - page 380 / 755
» Process modeling for future technologies
Sort
View
SIGSOFT
2003
ACM
16 years 6 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
151
Voted
WWW
2008
ACM
16 years 6 months ago
Recommending questions using the mdl-based tree cut model
The paper is concerned with the problem of question recommendation. Specifically, given a question as query, we are to retrieve and rank other questions according to their likelih...
Yunbo Cao, Huizhong Duan, Chin-Yew Lin, Yong Yu, H...
EMISA
2010
Springer
15 years 4 months ago
Supporting ad hoc Analyses on Enterprise Models
Abstract: Enterprises are socio technical systems whose management involves multiple stakeholders each demanding for a distinct perspective on the enterprise. A large number of mod...
Sabine Buckl, Jens Gulden, Christian M. Schweda
162
Voted
CHI
2009
ACM
16 years 6 months ago
Towards intelligent authoring tools for machinima creation
As user-created content increasingly becomes an ever more prominent element of modern game design, tools have been developed to aide in the creative process for several forms of d...
Brian O'Neill, Mark O. Riedl, Michael Nitsche
VLSID
2001
IEEE
144views VLSI» more  VLSID 2001»
16 years 6 months ago
Next Generation Network Processors
Networking hardware manufacturers face the dual demands of supporting ever increasing bandwidth requirements, while also delivering new features, such as the ability to implement ...
Deepak Kataria