1750 search results - page 86 / 350 » E-Commerce Development Procedure |
166
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
154
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
197
click to vote
FROCOS
2009
Springer
16 years 25 days ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
158
click to vote
IWCF
2009
Springer
16 years 25 days ago
2009
Springer
The Electric Network Frequency (ENF) Criterion is a recently developed forensic technique for determining the time of recording of digital audio recordings, by matching the ENF pat...
155
click to vote
ICALT
2008
IEEE
16 years 22 days ago
2008
IEEE
In this paper we present a framework for constructing problem solving environments for assessing procedural knowledge, i.e. the student’s ability to apply his/her knowledge in o...