835 search results - page 54 / 167 » Platforms for agent-oriented software engineering |
150
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...
110
Voted
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Mobile software industry is suffering from the illegal usage of the software. PKI will not be a solution for small software distribution. We introduce a lightweight but safe metho...
226
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
134
click to vote
SAC
2000
ACM
15 years 7 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
134
Voted
ASWEC
2010
IEEE
15 years 3 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...