10038 search results - page 1885 / 2008 » Model Checking for Managers |
91
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Using multiple lenses of strategic choice theories (diffusion of innovation, organizational innovativeness) and institutional theory as the basis and reflecting data from semi-str...
147
click to vote
ICSNC
2007
IEEE
15 years 7 months ago
2007
IEEE
Nowadays, path prediction is being extensively examined for use in the context of mobile and wireless computing towards more efficient network resource management schemes. Path pr...
132
click to vote
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
110
Voted
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
The rapid growth of available data arises the need for more sophisticated techniques for semantic access to information. It has been proved that using conceptual model or ontology...
132
click to vote
ISLPED
2006
ACM
15 years 6 months ago
2006
ACM
As semiconductor manufacturing technology scales to smaller device sizes, the power consumption of clocked digital ICs begins to increase. Dynamic voltage and frequency scaling (D...